Takeuti, Gaisi
Retrieve the information about Takeuti, Gaisi and his books on the go! Keep your project up to date with the ISBNdb book database searchable via API with 19 data points per book available.
Two Applications of Logic to Mathematics (Publications of the Mathematical Society of Japan)
Two Applications of Logic to Mathematics (Publications of the Mathematical Society of Japan)
Proof Theory: Second Edition (Dover Books on Mathematics)
層・圏・トポス―現代的集合像を求めて
証明論と計算量
This is an excerpt from the ISBNdb database. Need more data? Get a FREE 7 day trial and get access to the full database of over 35 million books and all data points including title, author, publisher, publish date, binding, pages, list price, and more.
Get started Free